Exception handling - PDFSEARCH.IO - Document Search Engine

Exception handling
Results: 495

#	Item
21	Formal Safety Certification of Auto-Generated Aerospace Software Ewen Denney and Bernd Fischer {edenney,fisch}@email.arc.nasa.gov USRA/RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA Code generators can ad Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science Failure Materials science Reliability engineering Survival analysis DO-178B Exception handling Formal verification Software development process KeY Software development
22	APEx: Automated Inference of Error Specifications for C APIs Yuan Kang Baishakhi Ray Add to Reading List Source URL: rayb.info Language: English - Date: 2016-08-08 22:22:30 Control flow Application programming interfaces Software testing Exception handling Zlib Stack Error code OpenSSL Fault injection File system API Read
23	Hector: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software Suman Saha Jean-Pierre Lozi Add to Reading List Source URL: coccinelle.lip6.fr Language: English - Date: 2013-06-27 14:20:07 Computer errors Object-oriented programming languages Control flow Computer networking Error code Ioctl Exception handling Kernel Linux kernel Software bug Swift Error detection and correction
24	Policy Instrument Exception Request Use this form to request an exception from compliance to information systems policies or standards. This form initiates the compliance exception process for information systems (IS) po Add to Reading List Source URL: sitsd.mt.gov Language: English - Date: 2016-05-18 15:23:04 Control flow Exception handling
25	Accepted at Haskell ’14 Effect Handlers in Scope Nicolas Wu Tom Schrijvers Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-06-10 11:26:04 Control flow Software design patterns Functional programming Monad Exception handling Syntax Functor Unix signal Scope IMP
26	Finding Resource-Release Omission Faults in Linux Suman Saha Julia Lawall Gilles Muller Add to Reading List Source URL: coccinelle.lip6.fr Language: English - Date: 2012-01-04 11:08:48 Kernel Exception handling Linux kernel Ioctl Burroughs MCP Mach Error detection and correction File locking Protection ring Operating system Fault injection
27	Automatically Detecting Error Handling Bugs using Error Specifications Suman Jana1 , Yuan Kang1 , Samuel Roth2 , and Baishakhi Ray3 1 Columbia University Northern University Add to Reading List Source URL: rayb.info Language: English - Date: 2016-08-08 22:22:30 Control flow Cryptographic software Internet security Software bugs Computer networking Error code Exception handling Transport Layer Security OpenSSL Assertion Error detection and correction Crash
28	HITB Magazine Keeping Knowledge Free Volume 1, Issue 1, JanuaryCover Story Add to Reading List Source URL: magazine.hitb.org Language: English - Date: 2014-01-06 00:11:33 Directory services Control flow DLL injection Windows API Lightweight Directory Access Protocol Dynamic-link library Exception handling ASP.NET Hooking Windows Registry Code injection Active Directory
29	Introduction to Smalltalk - Chapter 11 - Stacks, queues, linked lists, trees, and graphs  Ivan TomekChapter 11 - Stacks, queues, linked lists, trees, and graphs Overview Although the collection classes presen Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:17 Object-oriented programming languages Control flow Abstract data types Smalltalk Stack Exception handling Self VisualWorks Subroutine Objective-C Message passing Eval
30	WG 14 N1839 WG14 CFP meeting minutes for the meeting of:00 AM PDT / 12:00 PM EDT: Attendees: Jim, Rajan, Fred, David, Mike, Ian New agenda items: None. Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-06-30 11:39:36 Computer arithmetic Directive Arithmetic underflow Ada IEEE floating point Exception handling Floating point TeX Subroutine C++